Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
801	Mechanized Mathematics Jacques Carette1 1 Department of Computing and Software, McMaster University www.cas.mcmaster.ca/∼carette Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-06-04 07:38:09 Theoretical computer science Computability theory Recursion Subroutines Mathematics Usability
802	Microsoft PowerPoint - L02 - Peak Finding.pptx Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2011-02-03 14:56:40 Theoretical computer science Erik Demaine Algorithm Demaine
803	Career Narrative (Shang-Hua Teng) 1 Dr. Shang-Hua Teng has twice won the prestigious G¨ odel Prize in theoretical computer science, first Add to Reading List Source URL: www-bcf.usc.edu Language: English - Date: 2015-09-21 15:35:04
804	PDF Document Add to Reading List Source URL: mp.binaervarianz.de Language: English - Date: 2015-08-25 02:11:45 Software optimization Computing Computer programming Computer performance Software engineering Memoization Theoretical computer science Subroutines Algorithm Lookup table Profiling Cache
805	Path resolution for recursive nested modules is undecidable Keiko Nakata1 ,3 and Jacques Garrigue2 1 2 Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-05-12 08:44:16 Software engineering Theoretical computer science Theory of computation Turing machine Computability theory Formal methods Models of computation Standard ML
806	Dana Angluin1, James Aspnes1, Jiang Chen2, David Eisenstat, Lev Reyzin1 1Yale University 2Yahoo! Inc. COLT 2008 Add to Reading List Source URL: www.levreyzin.com Language: English - Date: 2010-09-09 14:03:21 Computational complexity theory Theory of computation Theoretical computer science Circuit complexity Complexity classes Boolean circuit NC PP ACC0 Circuit FO
807	Verifolio:)A)Portfolio)for Software)Verification Yulia Demyanova,.Thomas) Pani, Helmut.Veith,.Florian.Zuleger Vienna.University.of.Technology AI4FM.2015.D.September. 1,.2015 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Software Theoretical computer science Numerical software BLAST model checker CPAchecker Solver Blast Formal methods Logic in computer science
808	R Foundations and Trends in Theoretical Computer Science Vol. 9, No–210 c 2014 S. Sachdeva and N. K. Vishnoi Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2014-04-08 16:25:54 Mathematics Algebra Mathematical analysis Matrix theory NP-complete problems Numerical analysis Polynomial Approximation theory Pi Chebyshev polynomials Eigenvalues and eigenvectors Matrix
809	Simple Stochastic Games and P-matrix Generalized Linear Complementarity Problems? Bernd G¨artner1 and Leo R¨ ust1 Institute of Theoretical Computer Science, ETH Z¨ urich, CH-8092 Z¨ Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2005-06-02 02:29:55
810	Programming with Algebraic Effects and Handlers Andrej Bauer Matija Pretnar Add to Reading List Source URL: math.andrej.com Language: English - Date: 2012-03-08 07:36:33 Software engineering Computer programming Theoretical computer science Symbol Logic in computer science Valuation Denotational semantics Monad Table of stars with Bayer designations

UPDATE